Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
111	Applied Ontology–0 IOS Press 1 Vague size predicates Add to Reading List Source URL: www.thomasebittner.com Language: English - Date: 2012-04-30 16:04:47 Logic Mathematical logic Mathematics Predicate logic Grammar Model theory Formal languages First-order logic Predicate FO Argument Resolution
112	The CYK algorithm L645 / B659 Fall 2015 Where we’re going Add to Reading List Source URL: cl.indiana.edu Language: English - Date: 2015-10-27 13:08:39 Compiler construction Programming language implementation Syntax Software engineering Formal languages CYK algorithm Natural language parsing Parsing Phrase structure rules Top-down parsing Chart parser Context-free grammar
113	The ISOdata model for the structure of an information retrieval thesaurus Leonard Will ISO:2011 Thesauri for information Add to Reading List Source URL: willpowerinfo.co.uk Language: English - Date: 2016-04-11 11:27:33 Formal languages Combinatorics Computing Software engineering Character encoding String Regular expression
114	Parse Trees • If w ∈ L(G), for some CFG, then w has a parse tree, which tells us the (syntactic) structure of w • w could be a program, a SQL-query, an XMLdocument, etc. • Parse trees are an alternative represent Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2015-01-28 19:32:46 Formal languages Language Cognitive science Mathematics Parse tree Parsing Formal grammar Equivalence Context-free language LR parser Context-free grammar
115	Pushdown Automata on (PDA) is essentially an A pushdown automata -NFA with a stack. On a transition the PDA: Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2015-01-28 19:35:31 Formal languages Models of computation Combinatorics Z0 Stack Personal digital assistant Alphabet Mathematics Discrete mathematics Deterministic pushdown automaton Pushdown automaton
116	Advances in Programming Languages APL4: JML — The Java Modeling Language David Aspinall (slides originally by Ian Stark) School of Informatics Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-01-20 18:21:25 Computing Software engineering Theoretical computer science Formal methods Logic in computer science Java Modeling Language Java platform Static program analysis ESC/Java Hoare logic Assertion Modeling language
117	TRANSLATIONS IN SENTENTIAL LOGIC. Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Logic Logical connectives Semantics Philosophical logic Model theory Formal languages Propositional calculus Interpretation First-order logic If and only if False Modal logic
118	Language Fuzzing Using Constraint Logic Programming Kyle Dewey Jared Roesch Ben Hardekopf Add to Reading List Source URL: jroesch.github.io Language: English - Date: 2016-04-16 20:16:50 Software engineering Declarative programming Computer programming Constraint logic programming Constraint programming Logic programming Programming paradigms Formal languages CLP Prolog Context-free grammar JavaScript
119	Speaking for the Trees: a New (Old) Approach to Languages and Syntax by Moss Prescott B.A., University of California Berkeley, 2004 Add to Reading List Source URL: ecee.colorado.edu Language: English - Date: 2010-12-16 12:20:46 Computing Software engineering Syntax Computer programming Compiler construction Parsing Formal languages Source code Parse tree Abstract syntax tree Abstract syntax S-expression
120	Advances in Programming Languages Certifying correctness David Aspinall School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-01-27 19:53:39 Cryptography Formal methods Theoretical computer science Computing Computer security Logic in computer science Public key infrastructure Formal verification Correctness Proof-carrying code Authentication Code signing

UPDATE